Modular and Polymorphic Set-Based Analysis: Theory and Practice
نویسندگان
چکیده
Set based analysis SBA produces good predictions about the behavior of functional and object oriented programs The analysis proceeds by inferring constraints that char acterize the data ow relationships of the analyzed program Experiences with Rice s program development environment which includes a static debugger based on SBA indicate that SBA can deal with programs of up to a couple of thousand lines of code However SBA does not cope with larger programs because it generates large systems of constraints for these programs These constraint systems are at least linear and possibly quadratic in the size of the analyzed program This paper presents theoretical and practical results concerning methods for reducing the size of constraint systems The theoretical results include a complete proof theoretic characterization of the observable behavior of a constraint system which we use to es tablish a close connection between the observable equivalence of constraint systems and the equivalence of regular tree grammars We then exploit this connection to adapt a variety of algorithms for simplifying grammars to the practical problem of simplify ing constraint systems Based on the resulting algorithms we develop a componential set based analysis a modular and polymorphic variant of SBA Experimental results validate the practicality of the simpli cation algorithms and the analysis The simpli ed constraint systems are typically at least an order of magnitude smaller than the original systems which signi cantly reduces both the time and space required by the analysis
منابع مشابه
Contributions of Kumaravadivelu’s Language Teacher Education Modular Model (KARDS) to Iranian EFL Language Institute Teachers’ Professional Identity
This research aims to investigate the contributions of KARDS (knowing, analyzing, recognizing, doing, and seeing) to Iranian English as a foreign language (EFL) institute teachers’ professional identity reconstruction. The researchers employed purposive sampling to choose twenty teachers. A KARDS questionnaire (Hassani, Khatib, & Yazdani Moghaddam, 2019a, 2019b) was used to classify the teacher...
متن کاملبررسی علل و راهکارهای فاصله تئوری و عمل در پرستاری از دیدگاه آموزش: یک مطالعه مروری
Background and Aim: the gap between theory and practice in nursing lead to Inconsistency between what is learned and what is done in practice. One component that is causing these problems is nursing education field. This study examines these issues through a comprehensive study has been done in this field. Materials and Methods: A literature search is based on data base consisting of Persian...
متن کاملEFFICIENT SIMULATION FOR OPTIMIZATION OF TOPOLOGY, SHAPE AND SIZE OF MODULAR TRUSS STRUCTURES
The prevalent strategy in the topology optimization phase is to select a subset of members existing in an excessively connected truss, called Ground Structure, such that the overall weight or cost is minimized. Although finding a good topology significantly reduces the overall cost, excessive growth of the size of topology space combined with existence of varied types of design variables challe...
متن کاملDevelopment of Quality of Classroom Life Questionnaire in L2 Contexts: Investigating the Impact of Modular Instruction
Quality of Classroom Life is considered as a serious issue in academia around the world, and it has recently received global inquiry in EFL and ESL contexts. However, no questionnaire has been developed to assess the Iranian students’ and teachers’ attitudes towards the quality of life in the classroom. After developing a conceptual framework, the final draft of the developed questionnaire with...
متن کامل